using System;
using System.Collections.Generic;
using TestClassesForConcepts;
//using TestClassesForConcepts.Sample1;
using TestClassesForConcepts.Sample2;

concept C1[T] {}

concept C2[T, S, U] 
{
    type A1;
    type A2 == B;
}

concept C3[T, S, U, V] 
{
    type A1 <: B;
    type A2 == C;
    //type A3 == A<KeyA, List<Int32>>;
    //type B1 == SortedList<MyQ, MyT>;
    //type B2 == ReqA<MyS, MyT>;
    type B3 == ReqB<MyS, MyT>;
}